$b$ $\in$ dom($M$.prob) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$fpf{-}dom(IdDeq; $b$; (($M$.2.2.2.2.2.2.2.2.2.2.2).1))